/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package logic;

/**
 *
 * @author phong
 */
public class TruthValueType extends BasicType {

    protected TruthValueType() {}

    @Override
    public String toString() {
        return "t";
    }

    @Override
    public String getName() {
        return "BOOL";
    }
}
